Automata construction - PDFSEARCH.IO - Document Search Engine

Automata construction
Results: 60

#	Item
21	On the construction of convergent transfer subgraphs in general labeled directed graphs 38th CGTC 7 March 2007 Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 Automata theory Finite-state machine Vertex Tree Graph NP-complete problems Directed acyclic graph Ancestral graph Graph theory Theoretical computer science Mathematics
22	A Collection of Tools for Making Automata Theory and Formal Languages Come Alive Anna O. Bilska, Kenneth H. Leider, Magdalena Procopiuc, Octavian Procopiuc, Susan H. Rodger, Jason R. Salemme and Edwin Tsang Duke Universi Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 13:03:44 Software engineering Parsing Combinatorics LL parser Formal grammar Bottom-up parsing Automata theory LR parser Context-free grammar Formal languages Programming language implementation Compiler construction
23	A Visual and Interactive Automata Theory Course with JFLAP 4.0 ∗ Ryan Cavalcante Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2003-12-22 12:57:12 Compiler construction Theoretical computer science Computer science Automata theory LL parser LR parser Parsing Nondeterministic finite automaton Finite-state machine Formal languages Models of computation Theory of computation
24	An Interactive Lecture Approach to Teaching Computer Science Susan H. Rodger1 Computer Science Department Duke University Durham, NC, [removed]email: [removed] Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 12:59:46 Theoretical computer science Computer science Compiler construction Applied mathematics Deterministic pushdown automaton Parsing table LL parser LR parser Pushdown automaton Automata theory Models of computation Formal languages
25	LLparse and LRparse: Visual and Interactive Tools for Parsing Stephen A. Blythe, Michael C. James, and Susan H. Rodger1 Department of Computer Science Rensselaer Polytechnic Institute Troy, NY[removed]email: rodger@cs Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2003-06-18 09:05:39 Software engineering Theoretical computer science Automata theory Models of computation LR parser LL parser Parsing Bottom-up parsing Parsing table Programming language implementation Compiler construction Formal languages
26	Methods for the Transformation of ω-Automata: Complexity and Connection to Second Order Logic Diploma Thesis (Revised Version) Christof L¨oding Supervisor: Prof. Dr. Wolfgang Thomas Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Ω-automaton Nondeterministic finite automaton Muller automaton Finite-state machine Alternating finite automaton Sequence Powerset construction Automata theory Theoretical computer science Computer science
27	Microsoft Word - 03-Lexical-Analysis.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 16:58:22 Computing Nondeterministic finite automaton Lexical analysis Powerset construction Deterministic finite automaton Regular expression Finite-state machine Formal language Regular language Automata theory Programming language implementation Theoretical computer science
28	NFAs with Tagged Transitions, their Conversion to Deterministic Automata and Application to Regular Expressions Ville Laurikari Helsinki University of Technology Laboratory of Computer Science PL 9700, 02015 TKK, Finland Add to Reading List Source URL: laurikari.net Language: English - Date: 2010-10-05 00:07:21 Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Regular expression Deterministic automaton String searching algorithm Powerset construction Regular language Automata theory Theoretical computer science Computer science
29	Ragel State Machine Compiler User Guide by Adrian Thurston Add to Reading List Source URL: www.colm.net Language: English - Date: 2014-11-28 15:51:12 Compiler construction Programming language implementation Pattern matching Automata theory Ragel Lex Finite-state machine Regular expression Parsing Computing Software Parser generators
30	Monitoring of real-time properties Andreas Bauer, Martin Leucker, and Christian Schallhart Institut f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. This paper presents a construction for runtime monitors t Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:28 Formal methods Computer science Linear temporal logic Deterministic finite automaton Nondeterministic finite automaton Symbol Model theory Automata theory Models of computation Theoretical computer science

UPDATE